I Use LLMs to Write the Majority of My Code
boredhacking.com·14h·
Discuss: Hacker News
🔬Static Analysis
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·3d
🐫OCaml
Incommensurability
lesswrong.com·2h
➡️Category Theory
Type Stubs and Typeshed in Python: A Developer’s Guide
levelup.gitconnected.com·13h·
Discuss: r/programming
🔠Type-Level Programming
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·3d
📊Runtime Verification
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
🏹Effect Systems
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Beginners Guide to IC Reverse Engineering – With a High Likelihood of Survival! (DS2025)
cdn.media.ccc.de·12h
💾Retro Computing
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Six Frameworks for Efficient LLM Inferencing
thenewstack.io·2d
🐳Containerization
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·21h·
Discuss: Hacker News
🔬Static Analysis
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🐫OCaml
Taxonomize Your Infrastructure
mattboisvert.net·1d·
Discuss: Hacker News
Kubernetes
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
🧮Lambda Calculus
I built a Go framework: Anclax
github.com·20h·
Discuss: Hacker News
❄️NixOS
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·19h·
📊Runtime Verification
Prompt Strategies for Terraform Test Generation
masterpoint.io·2h·
Discuss: Hacker News
🤖Program Synthesis
Taking a Look at Compression Algorithms
cefboud.com·7h·
🧮Lambda Calculus
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·10h·
Discuss: Hacker News
⚙️PL Implementation
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
🐫Embedded OCaml